The Pseudosquares Prime Sieve

We present the pseudosquares prime sieve, which finds all primes up to n. Define p to be the smallest prime such that the pseudosquare Lp > n/(π(p)(logn)); here π(x) is the prime counting function. Our algorithm requires only O(π(p)n) arithmetic operations and O(π(p) log n) space. It uses the pseudosquares primality test of Lukes, Patterson, and Williams. Under the assumption of the Extended Riemann Hypothesis, we have p ≤ 2(log n), but it is conjectured that p ∼ 1 log 2 log n log log n. Thus, the conjectured complexity of our prime sieve is O(n log n) arithmetic operations in O((log n)) space. The primes generated by our algorithm are proven prime unconditionally. The best current unconditional bound known is p ≤ n √ e− , implying a running time of roughly n using roughly n space. Existing prime sieves are generally faster but take much more space, greatly limiting their range (O(n/ log log n) operations with n space, or O(n) operations with n conjectured space). Our algorithm found all 13284 primes in the interval [10, 10 + 10] in about 4 minutes on a 1.3GHz Pentium IV. We also present an algorithm to find all pseudosquares Lp up to n in sublinear time using very little space. Our innovation here is a new, space-efficient implementation of the wheel datastructure.